- 双语例句 更多例句
1、
Syntax and operational semantics of recursive programs based on predicate logic
建立于谓词逻辑上的递归程序及其操作语义
互联网摘选
- 相关词组
- left recursive definition左递归定义
- higher-order predicate高价谓词
- singular predicate单谓词
- recursive database[计]递归数据库;
- zero-place predicate零位谓词
- true predicate真谓词
- temporary block in a recursive procedure递归过程的工作单元块
- second-order predicate calculus二阶谓词演算
- general recursive predicate一般递归谓词
- right recursive rule右递归规则
- simple predicate简单谓语
- semantic predicate[计]语义谓词;
- left recursive way左递归方式
- symmetric predicate对称谓语
- higher-order predicate calculus高阶谓词演算
- general recursive function一般逆归函数
- right recursive form右递归形式
- total recursive function全递归函数
- stack in recursive procedure递归过程的栈
- left recursive rule左递归规则
- 今日热词
- 热门搜索
- freeze v.(使)结冰;冷冻(食物等);严寒;冻僵，冻结;停住不动;暂停;n.冻结;冰冻（期）;
- nv [电] 十亿分之一伏;
- privilege n.特权;优惠;荣幸;v.特殊对待;
- KONKA 康佳;
- bbw abbr.bare brass wire 裸黄铜线;bus band width 总线带宽制动系统;保养品换季噜(Bath and Body Works);全电路制动系统
- friction n.摩擦;冲突，不和;摩擦力;
- debate n.辩论;争论;v.争论;讨论;考虑;
- winzip Windows 上面最流行的压缩软件！;
- fact n.事实;真相;资料;
- addicted adj.上瘾的;沉迷于某种嗜好的;vt.使…上瘾(addict的过去分词);
- cantaloupe n.罗马甜瓜，香瓜，哈密瓜;
- madden vt.使狂怒，使发狂;
